Total Books: 1 - 1 /1
Computer Science Logic (vol. # 4207)
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
Lee mas
Total Books: 1 - 1 /1
